منابع مشابه
Abstraction as a Natural Process of Mental Compression
ION AS A NATURAL PROCESS OF MENTAL COMPRESSION Eddie Gray & David Tall Mathematics Education Research Centre University of Warwick, Coventry, CV4 7AL, UK
متن کاملthe plotinus’ abstraction theology
the article presents explanation and analysis of plotinus’ abstraction theology. in this theology he tries to get negative knowledge of the god. the meaning of the negation is neither of pure negation or privation but it is based on abstraction which purifies and abstracts one concept from else to attain the exact and true meaning of it. accordingly, this method of theology is the same as the r...
متن کامل2 a Theory of Abstraction Using Abstraction
Korf Korf, 1979] provides a similar computational analysis of the beneets of abstraction for state space search. This analysis is essentially restricted to Abstrips abstractions as it ignores the cost of building abstract proof plans. Like us, Korf assumes no mapping failures, and a constant branching rate. Finally, in Giunchiglia & Walsh, 1989b] we analysed the theoretical and empirical proper...
متن کاملRanking Abstraction as Companion to Predicate Abstraction
Predicate abstraction has become one of the most successful methodologies for proving safety properties of programs. Recently, several abstraction methodologies have been proposed for proving liveness properties. This paper studies “ranking abstraction” where a program is augmented by a non-constraining progress monitor, and further abstracted by predicate-abstraction, to allow for automatic ve...
متن کاملAbstraction Considered Harmful: Lazy Learning of Language Processing 1 Empirical Learning of Natural Language
ION CONSIDERED HARMFUL: LAZY LEARNING OF LANGUAGE PROCESSING Walter Daelemans Computational Linguistics Tilburg University, The Netherlands, and Center for Dutch Language and Speech, University of Antwerp, Belgium [email protected] 1 Empirical Learning of Natural Language Browsing through the Machine Learning literature, we nd that language learning is not a hot topic in machine learning,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Oz
سال: 2000
ISSN: 2378-5853
DOI: 10.4148/2378-5853.1349